Assured automatic dynamic reconfiguration of business processes

In order to manage evolving organisational practice and maintain compliance with changes in policies regulations, businesses must be capable of dynamically reconfiguring their business processes. However, such dynamic reconfiguration is a complex, human-intensive error prone task. Not only new process rules devised but also, crucially, the transition between old managed. this paper we present fully automated technique based on formal specifications discrete event controller synthesis produce correct-by-construction strategies. These strategies satisfy user-specified requirements, they domain independent – as delayed immediate change or specific. To achieve this, provide discrete-event control theoretic approach operationalise declarative specifications, show how can extended resolve problems. way, given described Dynamic Condition Response Graphs, requirements linear temporal logic, produces strategy that guides organisation through ensuring all are satisfied. The outputs DCR whose traces reproduce controller’s strategy. We illustrate validate using realistic cases examples from BPM Academic Initiative.